This is TeX, WAITS Version 1.0-ε (preloaded format=plain 83.10.2)  20 OCT 1983 14:15
**showf.tex
(SHOWF.TEX[WEB,ALS]
Missing character: There is no ↑↑@ in font stan70!
Missing character: There is no ↓ in font stan70!
Missing character: There is no α in font stan70!
Missing character: There is no β in font stan70!
Missing character: There is no ∧ in font stan70!
Missing character: There is no ¬ in font stan70!
Missing character: There is no ε in font stan70!
Missing character: There is no π in font stan70!
Missing character: There is no λ in font stan70!
Missing character: There is no ↑↑I in font stan70!
Missing character: There is no ↑↑J in font stan70!
Missing character: There is no ↑↑K in font stan70!
Missing character: There is no ↑↑L in font stan70!
Missing character: There is no ↑↑M in font stan70!
Missing character: There is no ∞ in font stan70!
Missing character: There is no ∂ in font stan70!
Missing character: There is no ⊂ in font stan70!
Missing character: There is no ⊃ in font stan70!
Missing character: There is no ∩ in font stan70!
Missing character: There is no ∪ in font stan70!
Missing character: There is no ∀ in font stan70!
Missing character: There is no ∃ in font stan70!
Missing character: There is no ⊗ in font stan70!
Missing character: There is no ↔ in font stan70!
Missing character: There is no ← in font stan70!
Missing character: There is no → in font stan70!
Missing character: There is no ≠ in font stan70!
Missing character: There is no ↑↑[ in font stan70!
Missing character: There is no ≤ in font stan70!
Missing character: There is no ≥ in font stan70!
Missing character: There is no ≡ in font stan70!
Missing character: There is no ∨ in font stan70!
Missing character: There is no   in font stan70!
Missing character: There is no ! in font stan70!
Missing character: There is no " in font stan70!
Missing character: There is no # in font stan70!
Missing character: There is no $ in font stan70!
Missing character: There is no % in font stan70!
Missing character: There is no & in font stan70!
Missing character: There is no ' in font stan70!
Missing character: There is no ( in font stan70!
Missing character: There is no ) in font stan70!
Missing character: There is no * in font stan70!
Missing character: There is no + in font stan70!
Missing character: There is no , in font stan70!
Missing character: There is no - in font stan70!
Missing character: There is no . in font stan70!
Missing character: There is no / in font stan70!
Missing character: There is no 0 in font stan70!
Missing character: There is no 1 in font stan70!
Missing character: There is no 2 in font stan70!
Missing character: There is no 3 in font stan70!
Missing character: There is no 4 in font stan70!
Missing character: There is no 5 in font stan70!
Missing character: There is no 6 in font stan70!
Missing character: There is no 7 in font stan70!
Missing character: There is no 8 in font stan70!
Missing character: There is no 9 in font stan70!
Missing character: There is no : in font stan70!
Missing character: There is no ; in font stan70!
Missing character: There is no < in font stan70!
Missing character: There is no = in font stan70!
Missing character: There is no > in font stan70!
Missing character: There is no ? in font stan70!
Missing character: There is no @ in font stan70!
Missing character: There is no E in font stan70!
Missing character: There is no F in font stan70!
Missing character: There is no G in font stan70!
Missing character: There is no H in font stan70!
Missing character: There is no I in font stan70!
Missing character: There is no J in font stan70!
Missing character: There is no K in font stan70!
Missing character: There is no L in font stan70!
Missing character: There is no N in font stan70!
Missing character: There is no O in font stan70!
Missing character: There is no P in font stan70!
Missing character: There is no Q in font stan70!
Missing character: There is no R in font stan70!
Missing character: There is no U in font stan70!
Missing character: There is no V in font stan70!
Missing character: There is no W in font stan70!
Missing character: There is no X in font stan70!
Missing character: There is no Y in font stan70!
Missing character: There is no Z in font stan70!
Missing character: There is no [ in font stan70!
Missing character: There is no \ in font stan70!
Missing character: There is no ] in font stan70!
Missing character: There is no ↑ in font stan70!
Missing character: There is no _ in font stan70!
Missing character: There is no ` in font stan70!
Missing character: There is no a in font stan70!
Missing character: There is no b in font stan70!
Missing character: There is no d in font stan70!
Missing character: There is no e in font stan70!
Missing character: There is no f in font stan70!
Missing character: There is no g in font stan70!
Missing character: There is no h in font stan70!
Missing character: There is no j in font stan70!
Missing character: There is no k in font stan70!
Missing character: There is no l in font stan70!
Missing character: There is no m in font stan70!
Missing character: There is no n in font stan70!
Missing character: There is no o in font stan70!
Missing character: There is no p in font stan70!
Missing character: There is no q in font stan70!
Missing character: There is no r in font stan70!
Missing character: There is no t in font stan70!
Missing character: There is no u in font stan70!
Missing character: There is no v in font stan70!
Missing character: There is no w in font stan70!
Missing character: There is no x in font stan70!
Missing character: There is no y in font stan70!
Missing character: There is no z in font stan70!
Missing character: There is no { in font stan70!
Missing character: There is no | in font stan70!
Missing character: There is no } in font stan70!
Missing character: There is no ~ in font stan70!
Missing character: There is no ↑↑? in font stan70!
 [1]
Output written on SHOWF.DVI[WEB,ALS] (1 page, 392 bytes).